extern void pri(const char *s);
int main () {
	pri("12345");
   
   return(0);
}
